Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

Well, it's a very easy operation, Carl.
这是个很简单的手术 Carl。
I'm fixing the car in the garage.
我在车房修车。
Yes. I suggest taking a lot of vinegar.
是的。我建议多带些醋。
更多情景英语 ›

🔤 更多 T 开头的单词

tank-top
teleoroentgenography
tennis court [kɔ:t]
the former
tibiale externum
to think alike
towelled
tremont
全部 T 开头单词 ›